• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۷۹۳ پاسخ غیر تکراری از ۷۹۳ پاسخ تکراری در مدت زمان ۰,۵۰ ثانیه یافت شد.

141. Category theory and computer science :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: D.H. Pitt [and others] (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Categories (Mathematics), Congresses.,Computer science, Congresses.,Catégories (Mathématiques)-- Congrès.,Informatique, Congrès.,Categorieën (wiskunde),Categories (Mathematics),Categories (Mathematics), Congresses.,Catégories (mathématiques)-- Congrès.,Computer science.,Computers.,Datenverarbeitung,Informatik,Kategorientheorie,Kongress,Logic, Symbolic and mathematical, Congresses.

Classification :
QA75
.
5
.
S86
1991

142. Category theory and computer science

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / D.H. Pitt ... (et al.) (ed.)

Library: Library of College of Science University of Tehran (Tehran)

Subject: Electronic digital computers -- Programming -- Congresses,Categories (Mathematics) -- Congresses

Classification :
QA
76
.
6
.
C3882
1989

143. Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(

Library: Central Library and Documentation Center (Kerman)

Subject: Congresses ، Categories )Mathematics(

Classification :
QA
76
.
L4
v
.
283

144. Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer programming,Congresses ، Categories )Mathematics(

Classification :
QA
76
.
L28
Vol
.
283

145. Category theory and computer science: Edinburgh, U.K., September 7-9, 1987 : proceedings. Edinburgh, U.K., September 7-9, 1987 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / D.H. Pitt, A. Poigne, D.E. Rydeheard (eds.)

Library: Central library and document university of Kurdistan (Kurdistan)

Subject: Computer programming- Congresses,Categories (Mathematics)- Congresses

Classification :
QA76
.
6
.
C388
1987
R

146. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: D.H. Pitt ... )et al.( )ed.(

Library: Central Library and Documentation Center (Kerman)

Subject: Congresses ، Electronic digital computers - Programming,Congresses ، Categories )Mathematics(

Classification :
QA
76
.
L4
v
.
389

147. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / D.H. Pitt ... (et al.) (ed.)

Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)

Subject: Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses

Classification :
QA76
.
6
.
C3882
1989

148. Category theory and computer science : Manchester, UK, September 5-8, 1989 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: D.H. Pitt...]et al.[ )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer programming,Congresses ، Categories )Mathematics(

Classification :
QA
76
.
L28
Vol
.
389

149. Category theory and computer science: Manchester, UK, September, 1989, proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: Congresses ، Categories )Mathematics(

Classification :
QA
169
.
P7
1989

150. Category theory and computer science: Manchester, UK, September 5-8, 1989, proceedings. Manchester, UK, September 5-8, 1989, proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / D.H. Pitt ... [et al.] (ed.)

Library: Central library and document university of Kurdistan (Kurdistan)

Subject: Computer programming- Congresses,Categories (Mathematics)- Congresses

Classification :
QA76
.
6
.
C3882
1989
R

151. Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Computer science-- Congresses,، Categories )Mathematics(-- Congresses

Classification :
QA
75
.
5
.
S86
1991

152. Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / D.H. Pitt ... (et al.) (eds.)

Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)

Subject: Computer science - Congresses,Categories (Mathematics) - Congresses

Classification :
QA75
.
5
.
S86
1991

153. Category theory and computer science: Paris, France, September 3-6, 1991, proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: D.H. Pitt...]et al.[ )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer science,Congresses ، Categories )Mathematics(

Classification :
QA
76
.
L28
Vol
.
530

154. Category theory and computer science: Paris, France, September 3-6, 1991 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / D.H. Pitt ... [et al.] (eds.)

Library: Central library and document university of Kurdistan (Kurdistan)

Subject: Computer science- Congresses,Categories (Mathematics)- Congresses

Classification :
QA75
.
5
.
S86
1991

155. Category theory and computer science : 6th International Conference, CTCS 95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: David Pitt, David E. Rydeheard, Peter Johnstone, eds

Library: Central Library of Amirkabir University of Technology (Tehran)

Subject: Electronic digital computers - Programming - Congresses , Categories )Mathematics( - Congresses

Classification :
QA
76
.
6
.
B53
1995

156. Category theory and computer science : 7th International Conference, CTCS '97,Santa Margherita Ligure, Italy, Sptember 1997: Proceeding

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Eugenio Moggi, Giuseppe Rosolini(eds.)

Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)

Subject: Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses

Classification :
QA76
,.
6
.
B53

157. Category theory and computer science : 7th International conference, CTCS'97, S. Margheria Ligure, Italy, September 1997 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Eugenio Moggi, Giuseppe Rosolini )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer science -- Mathematics,Congresses ، Categories )Mathematics(

Classification :
QA
76
.
L28
Vol
.
1290

158. Category theory applied to computation and control

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / edited by E. G. Manes

Library: Library of College of Science University of Tehran (Tehran)

Subject: Machine theory -- Congresses,Control theory -- Congresses,Categories (Mathematics) -- Congresses

Classification :
QA
267
.
C35

159. Category theory applied to computation and control: proceedings of the first international symposium, San Francisco, Feb.25-26, 1974

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by E. G. Manes

Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)

Subject: Congresses ، Machine theory,Congresses ، Automata,Congresses ، Control theory,Congresses ، Categories )Mathematics(

Classification :
QA
267
.
C35

160. Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Machine theory-- Congresses,، Control theory-- Congresses,، Categories )Mathematics(-- Congresses

Classification :
QA
267
.
C35
  • »
  • 40
  • 39
  • 38
  • 37
  • 36
  • ...
  • 12
  • 11
  • 10
  • 9
  • 8
  • 7
  • 6
  • 5
  • 4
  • 3
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival